return :: d -> m d